Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve log for failed checks with no diff files #317

Merged
merged 1 commit into from
Nov 6, 2023

Conversation

muzimuzhi
Copy link
Contributor

In a clean l3build repository,

  • executing texlua ./l3build.lua check undefined-test, the last lines of stdout are
    • before
      Running checks on
        undefined-test (1/1)
      Failed to find input for test undefined-test
                --> failed
      
      
        Check failed with difference files
      
      
    • after
      Failed to find input for test undefined-test
                --> failed
      
      Check failed with no difference files.
      
      
  • executing texlua ./l3build.lua check --rerun undefined-test, the last lines of stdout are
    • before
      Failed tests for configuration "build":
      
        Check failed with difference files
      
      Failed tests for configuration "config-pdf":
      
        Check failed with difference files
      
      Failed tests for configuration "config-plain":
      
        Check failed with difference files
      
      Failed tests for configuration "config-context":
      
        Check failed with difference files
      
      
    • after
      Check failed for configuration "build" with no difference files.
      
      Check failed for configuration "config-pdf" with no difference files.
      
      Check failed for configuration "config-plain" with no difference files.
      
      Check failed for configuration "config-context" with no difference files.
      
      

@josephwright josephwright merged commit 8949ef3 into latex3:main Nov 6, 2023
1 check passed
@muzimuzhi muzimuzhi deleted the feat/log-diff-list branch November 6, 2023 07:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants